#ifndef	_Task_Core_H
#define	_Task_Core_H
#include "Public.h"

#define SCB_ICSR  (*((volatile uint32_t *)0xE000ED04))


void task_switch(void);
#endif

